Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud

Source URL: homepages.inf.ed.ac.uk

• Logic programming
• Actor model
• Futures and promises
• Inter-process communication
• Stable model semantics
• Interpretation
• FO
• Economic model
• Witness
• Logic
• Mathematical logic
• Theoretical computer science

Computational Modeling vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter to the Philosophy of Mind? © Gualtiero Piccinini[removed]Abstract

Source URL: philsci-archive.pitt.edu

• Cybernetics
• Computability theory
• Theory of computation
• Computational complexity theory
• Computational theory of mind
• Computational resource
• A New Kind of Science
• Actor model
• Computability
• Science
• Applied mathematics
• Theoretical computer science

JISC Digital Repositories Programme Use Case Template Use Case Name Repository information / newsfeed Use Case ID (unique identifier, used for file name also) e.g. project_use_case_id

Source URL: www.ukoln.ac.uk

• Open access
• Archival science
• Data management
• Technical communication
• Repository
• Unified Modeling Language
• Actor
• Metadata
• Diagram
• Knowledge representation
• Science
• Information

Series: Using UML – Behavioral Modeling Diagrams Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com

Source URL: www.sparxsystems.com

• Software
• Diagrams
• Systems Modeling Language
• Infographics
• Enterprise Architect
• Activity diagram
• Communication diagram
• Sequence diagram
• Actor
• UML diagrams
• Unified Modeling Language
• Software development

Modeling Heterogeneous Semantics in Ptolemy with Modular Actor Interfaces Chris Shaver

Source URL: www.eecs.berkeley.edu

icp_rms_error_benchmarks.eps

Source URL: www.best-of-robotics.org

• Diagram
• Class diagram
• Actor
• Delaunay triangulation
• ECO
• Component
• MeshLab
• Point cloud
• Unified Modeling Language
• Software
• Graphics software

ChattaBox: A Case Study in Using UML and SDL for Engineering Concurrent Communicating Software Systems P S Kritzinger, M Chetty, J Landman, M Marconi and O Ryndina Data Network Architecture Laboratory Department of Compu

Source URL: marshini.net

• Data modeling
• Diagrams
• Knowledge representation
• Specification and Description Language
• Software development methodology
• Modeling language
• Use case
• Actor
• Class diagram
• Software development
• Unified Modeling Language
• Software

Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA

Source URL: ptolemy.eecs.berkeley.edu

• Theoretical computer science
• Science
• Differential equations
• Dynamical systems
• Diagrams
• Finite-state machine
• Actor model
• Hybrid system
• SIGNAL
• Models of computation
• Computing
• Automata theory

Microsoft PowerPoint - eal_chessToolArchitectures[2].ppt

Source URL: chess.eecs.berkeley.edu

• Systems engineering
• Generic Modeling Environment
• Actor model
• Windows Installer
• Object
• Ptolemy Project
• ECO
• Software design pattern
• Computing
• Software
• Object-oriented programming

Jeffrey G. Gray, Ph.D. Professor (Full) University of Alabama Department of Computer Science Box[removed]

Source URL: gray.cs.ua.edu

• Scientific modeling
• Modeling language
• Domain-specific language
• IEEE Software
• Domain-specific modeling
• Scientific modelling
• Agent-based model
• Actor model
• Software development process
• Science
• Software engineering
• Computing